Boolean analysis - PDFSEARCH.IO - Document Search Engine

Boolean analysis
Results: 158

#	Item
91	Microsoft PowerPoint - RA II (FTA,ETA).ppt [Compatibility Mode] Add to Reading List Source URL: www.lsa.ethz.ch Language: English - Date: 2010-03-17 05:21:28 Mathematics Systems science Probability theory Statistical dependence Fault tree analysis Boolean algebra Independence Boolean algebras canonically defined Safety engineering Systems engineering Algebraic logic Reliability engineering
92	Submodular Function Maximization Andreas Krause (ETH Zurich) Daniel Golovin (Google) Submodularity1 is a property of set functions with deep theoretical consequences and far– reaching applications. At first glance it a Add to Reading List Source URL: las.ethz.ch Language: English - Date: 2012-08-03 11:50:04 Submodular set function Order theory Matroid theory Supermodular function Pseudo-Boolean function Mathematical analysis Mathematics Mathematical optimization
93	Microsoft Word - Nusbaumer-Rauzy - FTL versus ETL Mathematical and Algorithmic Reconciliation_revised.doc Add to Reading List Source URL: nusbaumer.tripod.com Language: English - Date: 2012-09-02 05:45:24 Mathematics Diagrams Philosophical logic Reliability engineering Canonical form Binary decision diagram Quantification Equivalence relation Fault tree analysis Logic Mathematical logic Boolean algebra
94	1 Aman Kumar Boolean Modelling of Catecholamine synthesis and degradation pathways Add to Reading List Source URL: openwetware.org Language: English - Date: 2014-07-09 18:06:40 Biology Catecholamines Bioinformatics Aromatic amino acids Proteinogenic amino acids Boolean network Norepinephrine Flux balance analysis Dopamine Chemistry Biochemistry Neurotransmitters
95	Course Descriptions LTCY 444. READING IN THE SECONDARY GRADES. (3) The principles, psychology, and methodologies for teaching the general and the specialized reading skills in the secondary grades. MATH / MA – MA Add to Reading List Source URL: wku.edu Language: English - Date: 2015-01-13 10:46:44 Differential calculus Boolean algebra Propositional calculus Multivariable calculus Linear algebra Trigonometric functions Eigenvalues and eigenvectors Number theory Complex number Mathematics Mathematical analysis Calculus
96	An Introduction to Zero-Suppressed Binary Decision Diagrams Alan Mishchenko Department of Electrical and Computer Engineering Portland State University, Portland, OR 97207, USA [removed]; http://www.ee.pdx.edu/~a Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-09-30 22:57:32 Boolean algebra Algebraic logic Diagrams Computability theory Binary decision diagram Model checking Indicator function Recursion Function Mathematics Mathematical logic Mathematical analysis
97	ALGORITHMS FOR BOOLEAN FUNCTION QUERY PROPERTIES SCOTT AARONSON∗ Abstract. We investigate efficient algorithms for computing Boolean function properties relevant to query complexity. Such properties include, for exampl Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2006-11-24 03:47:48 Computational complexity theory Analysis of algorithms Boolean algebra Complexity classes Decision tree model Time complexity Circuit complexity Randomized algorithm Circuit Theoretical computer science Applied mathematics Mathematics
98	Fast Boolean Matching for LUT Structures Alan Mishchenko Satrajit Chatterjee Robert Brayton Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-09-26 01:21:56 Mathematical analysis Boolean function Boolean network Lookup table Truth table Circuit Monotonic function Function Boolean satisfiability problem Mathematics Boolean algebra Theoretical computer science
99	Mathematics Pathways Transfer Inventory For your reference, this spreadsheet contains detailed mathematics course requirements by program for all public universities in Texas. Please contact Jenna Cullinane (jenna.cullin Add to Reading List Source URL: www.utdanacenter.org Language: English - Date: 2014-09-12 14:41:09 Boolean algebra Propositional calculus Closed operator Operator theory Logical disjunction Pi Factorization of polynomials over a finite field and irreducibility tests Mathematics Mathematical analysis Abstract algebra
100	Representations of positive projections W. A. J. Luxemburg B. de Pagter Department of Mathematics, California Institute of Technology, Pasadena, CA, USA Department of Mathematics, Delft University of Add to Reading List Source URL: www.math.caltech.edu Language: English - Date: 2002-12-05 18:43:30 Linear algebra Functional analysis Riesz space Algebraic structures Operator theory Freudenthal spectral theorem Boolean algebra Vector space Approximately finite dimensional C*-algebra Algebra Mathematics Mathematical analysis